blocks.[e80,jmc]	Base cs226 on blocks world
BLOCKS.DMP[E80,JMC]	fol core image for blocks proof
CAR.NS[E80,JMC]		about used cars
cltcom.lsp[e80,jmc]	examples for compiling from multiple output form to LISP
COMMON.[E80,JMC]	Programs with Common Sense
cyclic[e80,jmc]		Induction principle for cyclic list structures		
cyclic.lsp[e80,jmc]	functions for computing with cyclic list structures
DINNAN.NS[E80,JMC]	Professor jailed for refusing to tell how he voted.
DUBINI.NS[E80,JMC]	Soviet Geneticist Says Experiments
			 Endanger Marxist Ideology
EKL.REM[E80,JMC]	Comments on Ketonen's EKL
EMIGRA.[E80,JMC]	BIOLOGICAL ADVANTAGES OF TERRITORIALITY AND EMIGRATION
FREEDO.[E80,JMC]	the survival of freedom - for Jerry Pournelle
FUSION.[E80,JMC]	on the U.S. Labor Party and Fusion Magazine
GIANI.[E80,JMC]		notes on formalizing the opera plot
GIANT.[E80,JMC]		items for giant file proposal
GRIM[e80,jmc]		some grim and unpleasant facts
grumbl.[e80,jmc]	Circumscription is semi-decidable: bobrow preface
HIROSH.NS[E80,JMC]	Reminiscences if Tinian at war's end
HOLE.[E80,JMC]		Dynamic Casing for Hole through the Center of the Earth
IDEAS.[E80,JMC]		Research needed on invention needs
INSUL.NS[E80,JMC]	Two news stories on dangers of over-insulation
LAMBDA.LSP[E80,JMC]	Lambda calculus interpreter
LISP.[E80,JMC]		address for lisp conference
LISP.2[E80,JMC]		notes for address for lisp conference
MACRO.LSP[E80,JMC]	if macro and macdef macro
MATCH.LSP[E80,JMC]	Simplification rules using Gabriel matcher
MEMO.PUB[E80,JMC]	special version for LISP conference address
MONOPO.[E80,JMC]	natural monopoly in information storage
multi[e80,jmc]		multiple output lisp functions - CLT and JMC variants
NISBET.[E80,JMC]	Comments on Nisbett and Ross book on human inference
NS.NS[E80,JMC]		electronic newspaper experiments
nsf[e80,jmc] 23-Aug-80		NSF proposal for basic research in AI (1980)
OCR.[E80,JMC]		Memo to Selfridge advocating new OCR work
PATTER.LSP[E80,JMC]	inst with catch-throw and as pseudo-predicate
PHILPA.[E80,JMC]	McCarthy Papers on Philosophy and Artificial Intelligence
PLUTON.NS[E80,JMC]	Raeburn story - misleading about plutonium
PRODUC.[E80,JMC]	Office and bureaucratic productivity
REVAL.LSP[E80,JMC]	The Italian eval from 1975 and comparisons.
ROYKO.NS[E80,JMC]	Interview with Royko
SELFAP.LSP[E80,JMC]	lisp expression whose value is itself
SEMINA.[E80,JMC]	Knowledge and action seminar
SOLAR.NS[E80,JMC]	California solar puffery
TECH.NS[E80,JMC]	Co-operative research university - industry
threen[e80,jmc]		a chip for the 3n+1 function
threen.lsp[e80,jmc]	3n+1 function action as determined by k low order bits.
TOPRIN.[E80,JMC]	Some philosophy and AI files
vague[e80,jmc] 23-aug-80	How to formalize vague concepts
WINE.NS[E80,JMC]	some good wines